DETERMINATION OF JOIN REGIONS BETWEEN CARBON NANOSTRUCTURES USING VARIATIONAL CALCULUS

Orchestrating Transactions in Join Calculus

We discuss the principles of distributed transactions, then we define an operational model which meets the basic requirements and we give a prototyping implementation for it in join-calculus. In particular, our model: (1) extends Microsoftr BizTalk’s short transactions; (2) it exploits an original commit algorithm, which is distributed; (3) it can deal with dynamically changing communication to...

Bisimulations in the join-calculus

We develop a theory of bisimulations in the join-calculus. We introduce a refined operational model that makes interactions with the environment explicit, and discuss the impact of the lexical scope discipline of the join-calculus on its extensional semantics. We propose several formulations of bisimulation and establish that all formulations yield the same equivalence. We prove that this equiv...

Inheritance in the Join Calculus

We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a uniform manner, using asynchronous messages. Classes are partial message definitions that can be combined and transformed. We design operators for behavioral and synchronization inheritance. Our model is compatible wi...

Predictive Join Processing between Regions and Moving Objects

1 Dept. of Languages and Computing, University of Almeria, 04120 Almeria, Spain. E-mail: acorral,[email protected] 2 Dept. of Informatics with Applications in Biomedicine, University of Central Greece, Papasiopoulou 2-4, 35100, Lamia, Greece, and Dept. of Informatics, Alexander TEI of Thessaloniki, 57400 Greece. E-mail: [email protected] 3 Dept. of Informatics, Aristotle University, 54124 Thessalon...

JOIN(X): Constraint-Based Type Inference for the Join-Calculus